منابع مشابه
Symbolic logic
The roots of symbolic logic can be traced as far back as to the study of syllogisms by Aristotle. However, it was not until the second half of the nineteenth century that its modern form began crystallizing, whereas solid foundations had to wait until the second decade of the twentieth century. Symbolic logic is concerned with the validity of arguments, for whose study it abstracts away from co...
متن کاملTowards a Symbolic Logic Minimization Algorithm
This paper presents the application of the recently introduced implicit sets of products manipulations based on binary decision diagrams to the generation of irredundant prime covers of Boolean functions and of multiple output Boolean functions. The results obtained with this procedure are compared with the ones obtained with ESPRESSO and with the procedure presented in [11].
متن کاملTowards a Symbolic Modal Logic for LOTOS
We present a version of HML [7], adapted to allow description of properties of Full LOTOS [8] specifications using symbolic values and conditions in modal formulae as well as concrete data values. In modifying HML we especially consider the features of LOTOS which distinguish it from other process algebras and discuss how these alter the requirements of the logic, and how this in turn is reflec...
متن کاملThe Journal of Symbolic Logic
‘Fuzzy logic’ means different things to different people. For some it is a philosophy of life – “a way to break the stranglehold that the black-and-white thinking of the Western tradition has upon us.” For others it is a more accurate way of describing our ordinary language (and thought) “in which we do not think that everything is either true or false but where we recognize the shades of grey ...
متن کاملThe Journal of Symbolic Logic
The paper proves a conjecture of Solomon Feferman concerning the indefiniteness of the continuum hypothesis relative to a semi-intuitionistic set theory. §
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1907
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xvi.63.470